Interpretation ofin situ target-strength data

Human strength: terminology, measurement, and interpretation of data.

Comparison of in situ, ex situ, and backscatter model estimates of Pacific hake (Merluccius productus) target strength

To convert acoustic energy into estimates of fish density, the target strength (TS) of a representative fish must be known. TS is a measure of the acoustic reflectivity of a fish, which is variable depending on the presence of a swimbladder, the size of the fish, its behavior, morphology, and physiology. The most common method used to estimate the TS of a fish is a TS-to-length empirical regres...

An Algorithm for Modeling and Interpretation of Seismoelectric Data

Generally speaking, seismoelectric modeling is a prospecting method based on seismic and electromagnetic waves, in which waves generated by a seismic source at the boundary of the two environments generate a relative fluid-solid motion formed as a result of antagonism between the elastic properties of the environment with the saturated fluid. This research has as its objective, a study of the e...

In Situ Interpretation without Type Mismatches

Quantified DPs are assigned a semantic type ((e,t),t) in which they map properties, denotations of type (e,t), to truth values, denotations of type t. properties are functions from entities to truth values. Ss like (1) are problematic for them since the transitive verb offend has type (e,(e,t)), not the type for properties but rather that of functions from entities to properties. So on H&K’s an...

On the Strength of the Interpretation Method

In spite of the fact that true arithmetic reduces to the monadic second-order theory of the real line, Peano arithmetic cannot be interpreted in the monadic second-order theory of the real line. ?0. Introduction. The decision problem for the monadic second-order theory of the real line was posed by Grzegorczyk in 1951 [Gr], and was proved undecidable in 1976 by Shelah [Sh]. Shelah reduced the f...